Implementation of Hybrid Systems Described by DEV&DESS in the QSS Based Simulator PowerDEVS
نویسندگان
چکیده
In this article, a method for implementing hybrid models, formulated as DEV&DESS, in the QSS based simulator PowerDEVS is presented. PowerDEVS is actually a pure DEVS simulator. However, it is specialised for simulating continuous Models (DESS) using QSS (Quantized State System) to translate them into discrete event models (DEVS). Therefore, it is perfectly suited for the simulation of hybrid models (DEV&DESS). When designing and simulating coupled DEVS models though, very soon a lot of difficulties occur caused by concurrent events and feedback loops. Hence, first some concepts are introduced of how to implement an atomic DEVS in a way that avoids those difficulties. Afterwards, an approach of how to implement an atomic DEV&DESS is introduced which makes use of those concepts.
منابع مشابه
Discretizing Time or States? A Comparative Study between DASSL and QSS
In this study, a system is presented and analyzed that automatically translates a model described within the Modelica framework into the Discrete Event System Specification (DEVS) formalism. More specifically, this work interfaces the open-source implementation of Modelica, OpenModelica, and one particular software tool for DEVS modeling and simulation, the PowerDEVS environment, which implemen...
متن کاملAutomated Simulation of Modelica Models with QSS Methods - The Discontinuous Case -
This study describes the current implementation of an interface that automatically translates a discontinuous model described using the Modelica language into the Discrete Event System Specification (DEVS) formalism. More specifically, the interface enables the automatic simulation of a Modelica model with discontinuities in the PowerDEVS environment, where the Quantized State Systems (QSS) int...
متن کاملDEV&DESS based Verification Tool for Cyber-Physical System
Cyber-Physical Systems (CPS) is a highly complex system integrating physical components having sensors/actuators with computing components for the control. As the complexity of the system, the system should be designed using model-based approach and it should be verified before an implementation. In this paper, we exploit a simulation methodology for verifying the designed system by model-based...
متن کاملFormal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech
A hybrid system is a dynamical system reacting to continuous and discrete changes simultaneously. Many researchers have proposed modeling and verification formalisms for hybrid systems, but algorithmic verification of important properties such as safety and reachability is still an on-going research area. This paper demonstrates that a basic modeling formalism for hybrid systems, DEV&DESS is an...
متن کاملHybrid co-simulation of FMUs using DEV&DESS in MECSYCO
Co-simulation is a key tool in the design and operation of a growing number of complex cyber-systems. But efficiently yet accurately combining continuous time components (such as FMUs) with event-based ones can be challenging, both from a modeling perspective and an operational, tools-oriented one. We propose a platform to tackle this problem building up on MECSYCO, a MAS-based DEVS wrapping pl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015